English translation for "proof of correctness"

程序正确性证明
正确性证明

Related Translations:

semantic correctness:  语义正确性

proof stre:  试验应力

wwater proof:  防水

proofing paper:  彩色校样纸

proof law:  枪管高压试验规章

acid proof:  耐防酸的耐酸,抗酸耐酸的酎酸的

absolute proof:  绝对证明

rain proof:  防雨的

program proof:  程序证明

corrosion proofing:  耐腐性

Example Sentences:

	1.	We discuss the important designing technologies used in mb - protocol and compare it with protocols related . then we give a rigorous proof of correctness mb protocol based on strand space model 在此基础上提出了一个手机银行安全协议- mb协议，分析了设计协议时使用的重要技术，并和其他相关协议进行了比较。
	2.	Chapter 6 discusses a modeling of the mst algorithm of supporting qos multicast routing , puts forward a new algorithm , simulates it and gets the results , the proof of correctness and complexity analysis of the new algorithm are given , chapter 7 summarizes this paper , at the same time , suggestions for future research are given 第6章，讨论了支持qos多播路由的基于最小生成树算法的理论模型并提出一种新的算法，试验仿真结果证明了它的效率会比传统算法大大提高。第7章，给出了本文的总结，并对下一步的工作作了展望。

Similar Words：

"proof of business" English translation, "proof of cash" English translation, "proof of causation" English translation, "proof of claim" English translation, "proof of conviction" English translation, "proof of cost" English translation, "proof of costs" English translation, "proof of damage" English translation, "proof of death" English translation, "proof of debt" English translation